package joc.nextgen.dbi;

import joc.nextgen.dbi.JOC.PreCondition;

public class PointContract extends Point {
	@ClassInvariant
	public void arbitraryName() {
		assert true;
	}

	public PointContract(final int x, final int y) {
		super(x, y); // muss abgefangen werden
		new PreCondition() {
			{
				assert x >= 0 : "x >= 0";
				assert y >= 0 : "y >= 0";
			}
		};
	}

	public static boolean isStatic() {
		new PreCondition() {
			{
				assert true;
			}
		};
		return false;
	}

}
